Massachusetts Institute of Technology

Results: 10342



#Item
111Appendix to Detecting and Escaping Infinite Loops with Jolt Michael Carbin, Sasa Misailovic, Michael Kling, and Martin C. Rinard Massachusetts Institute of Technology, Cambridge, MA, USA {mcarbin, misailo, mkling, rinard

Appendix to Detecting and Escaping Infinite Loops with Jolt Michael Carbin, Sasa Misailovic, Michael Kling, and Martin C. Rinard Massachusetts Institute of Technology, Cambridge, MA, USA {mcarbin, misailo, mkling, rinard

Add to Reading List

Source URL: groups.csail.mit.edu

- Date: 2011-06-03 20:25:46
    112Detecting and Escaping Infinite Loops with Jolt Michael Carbin, Sasa Misailovic, Michael Kling, and Martin C. Rinard Massachusetts Institute of Technology, Cambridge, MA, USA {mcarbin, misailo, mkling, rinard}@csail.mit.

    Detecting and Escaping Infinite Loops with Jolt Michael Carbin, Sasa Misailovic, Michael Kling, and Martin C. Rinard Massachusetts Institute of Technology, Cambridge, MA, USA {mcarbin, misailo, mkling, rinard}@csail.mit.

    Add to Reading List

    Source URL: groups.csail.mit.edu

    - Date: 2011-05-09 19:00:27
      113Reasonably effective: I. Deconstructing a miracle Frank Wilczek Frank Wilczek is the Herman Feshbach Professor of Physics at the Massachusetts Institute of Technology in Cambridge.  In 1960 Eugene Wigner wrote a fa-

      Reasonably effective: I. Deconstructing a miracle Frank Wilczek Frank Wilczek is the Herman Feshbach Professor of Physics at the Massachusetts Institute of Technology in Cambridge. In 1960 Eugene Wigner wrote a fa-

      Add to Reading List

      Source URL: ctpweb.lns.mit.edu

      - Date: 2010-01-26 16:20:58
        114The Serializability of Concurrent Database Updates CHRISTOS H. P A P A D I M I T R I O U Massachusetts Institute of Technology, Cambridge, Massachusetts ABSTRACT A sequence of interleaved user transactions in a database

        The Serializability of Concurrent Database Updates CHRISTOS H. P A P A D I M I T R I O U Massachusetts Institute of Technology, Cambridge, Massachusetts ABSTRACT A sequence of interleaved user transactions in a database

        Add to Reading List

        Source URL: www.cs.purdue.edu

        - Date: 2011-01-20 13:39:02
          115Algebraic Algorithms for Matching and Matroid Problems Nicholas J. A. Harvey Computer Science and Artificial Intelligence Laboratory Massachusetts Institute of Technology Abstract

          Algebraic Algorithms for Matching and Matroid Problems Nicholas J. A. Harvey Computer Science and Artificial Intelligence Laboratory Massachusetts Institute of Technology Abstract

          Add to Reading List

          Source URL: www.cs.ubc.ca

          - Date: 2011-10-14 00:25:10
            116INDUSTRIAL PERFORMANCE CENTER MASSACHUSETTS INSTITUTE OF TECHNOLOGY W O R K I N G PA P E R S E R I E S  Electricity Transmission Policy for America:

            INDUSTRIAL PERFORMANCE CENTER MASSACHUSETTS INSTITUTE OF TECHNOLOGY W O R K I N G PA P E R S E R I E S Electricity Transmission Policy for America:

            Add to Reading List

            Source URL: www.delaat.net

            - Date: 2014-07-21 06:09:27
              117Optimal Deterministic Routing and Sorting on the Congested Clique Christoph Lenzen Massachusetts Institute of Technology 32 Vassar StreetCambridge, USA

              Optimal Deterministic Routing and Sorting on the Congested Clique Christoph Lenzen Massachusetts Institute of Technology 32 Vassar StreetCambridge, USA

              Add to Reading List

              Source URL: people.csail.mit.edu

              - Date: 2014-05-29 16:54:01
                11850,000,000,000 Instructions Per Second : Design and Implementation of a 256-Core BrainFuck Computer Sang-Woo Jun Computer Science and Artificial Intelligence Laboratory Massachusetts Institute of Technology

                50,000,000,000 Instructions Per Second : Design and Implementation of a 256-Core BrainFuck Computer Sang-Woo Jun Computer Science and Artificial Intelligence Laboratory Massachusetts Institute of Technology

                Add to Reading List

                Source URL: people.csail.mit.edu

                - Date: 2016-09-26 22:13:54
                  119Smoothed Analysis of the Condition Numbers and Growth Factors of Matrices Arvind Sankar ∗ Department of Mathematics Massachusetts Institute of Technology

                  Smoothed Analysis of the Condition Numbers and Growth Factors of Matrices Arvind Sankar ∗ Department of Mathematics Massachusetts Institute of Technology

                  Add to Reading List

                  Source URL: www.cs.yale.edu

                  - Date: 2009-11-14 16:21:32
                    120Mapping linear workflows with computation/communication overlap Kunal Agrawal1 , Anne Benoit2 and Yves Robert2 1  CSAIL, Massachusetts Institute of Technology, USA

                    Mapping linear workflows with computation/communication overlap Kunal Agrawal1 , Anne Benoit2 and Yves Robert2 1 CSAIL, Massachusetts Institute of Technology, USA

                    Add to Reading List

                    Source URL: www.ens-lyon.fr

                    - Date: 2008-07-01 04:54:07